Coz: Finding Code that Counts with Causal Profiling

Improving performance is a central concern for software developers. To locate optimization opportunities, developers rely on software profilers. However, these profilers only report where programs spent their time: optimizing that code may have no impact on performance. Past profilers thus both waste developer time and make it difficult for them to uncover significant optimization opportunities. This paper introduces causal profiling. Unlike past profiling approaches, causal profiling indicates exactly where programmers should focus their optimization efforts, and quantifies their potential impact. Causal profiling works by running performance experiments during program execution. Each experiment calculates the impact of any potential optimization by virtually speeding up code: inserting pauses that slow down all other code running concurrently. The key insight is that this slowdown has the same relative effect as running that line faster, thus "virtually" speeding it up. We present Coz, a causal profiler, which we evaluate on a range of highly-tuned applications: Memcached, SQLite, and the PARSEC benchmark suite. Coz identifies previously unknown optimization opportunities that are both significant and targeted. Guided by Coz, we improve the performance of Memcached by 9%, SQLite by 25%, and accelerate six PARSEC applications by as much as 68%; in most cases, these optimizations involve modifying under 10 lines of code.Comment: Published at SOSP 2015 (Best Paper Award

A Spectroscopic Survey of the Fields of 28 Strong Gravitational Lenses: The Group Catalog

With a large, unique spectroscopic survey in the fields of 28 galaxy-scale strong gravitational lenses, we identify groups of galaxies in the 26 adequately-sampled fields. Using a group finding algorithm, we find 210 groups with at least five member galaxies; the median number of members is eight. Our sample spans redshifts of 0.04 $\le z_{grp} \le$ 0.76 with a median of 0.31, including 174 groups with $0.1 < z_{grp} < 0.6$. Groups have radial velocity dispersions of 60 $\le \sigma_{grp} \le$ 1200 km s$^{-1}$ with a median of 350 km s$^{-1}$. We also discover a supergroup in field B0712+472 at $z =$ 0.29 consisting of three main groups. We recover groups similar to $\sim$ 85% of those previously reported in these fields within our redshift range of sensitivity and find 187 new groups with at least five members. The properties of our group catalog, specifically 1) the distribution of $\sigma_{grp}$, 2) the fraction of all sample galaxies that are group members, and 3) the fraction of groups with significant substructure, are consistent with those for other catalogs. The distribution of group virial masses agrees well with theoretical expectations. Of the lens galaxies, 12 of 26 (46%) (B1422+231, B1600+434, B2114+022, FBQS J0951+2635, HE0435-1223, HST J14113+5211, MG0751+2716, MGJ1654+1346, PG 1115+080, Q ER 0047-2808, RXJ1131-1231, and WFI J2033-4723) are members of groups with at least five galaxies, and one more (B0712+472) belongs to an additional, visually identified group candidate. There are groups not associated with the lens that still are likely to affect the lens model; in six of 25 (24%) fields (excluding the supergroup), there is at least one massive ($\sigma_{grp} \ge$ 500 km s$^{-1}$) group or group candidate projected within 2$^{\prime}$ of the lens.Comment: 87 pages, 8 figures, a version of this was published in Ap

First Frontier Field Constraints on the Cosmic Star-Formation Rate Density at z~10 - The Impact of Lensing Shear on Completeness of High-Redshift Galaxy Samples

We search the complete Hubble Frontier Field dataset of Abell 2744 and its parallel field for z~10 sources to further refine the evolution of the cosmic star-formation rate density (SFRD) at z>8. We independently confirm two images of the recently discovered triply-imaged z~9.8 source by Zitrin et al. (2014) and set an upper limit for similar z~10 galaxies with red colors of J_125-H_160>1.2 in the parallel field of Abell 2744. We utilize extensive simulations to derive the effective selection volume of Lyman-break galaxies at z~10, both in the lensed cluster field and in the adjacent parallel field. Particular care is taken to include position-dependent lensing shear to accurately account for the expected sizes and morphologies of highly-magnified sources. We show that both source blending and shear reduce the completeness at a given observed magnitude in the cluster, particularly near the critical curves. These effects have a significant, but largely overlooked, impact on the detectability of high-redshift sources behind clusters, and substantially reduce the expected number of highly-magnified sources. The detections and limits from both pointings result in a SFRD which is higher by 0.4+-0.4 dex than previous estimates at z~10 from blank fields. Nevertheless, the combination of these new results with all other estimates remain consistent with a rapidly declining SFRD in the 170 Myr from z~8 to z~10 as predicted by cosmological simulations and dark-matter halo evolution in LambdaCDM. Once biases introduced by magnification-dependent completeness are accounted for, the full six cluster and parallel Frontier Field program will be an extremely powerful new dataset to probe the evolution of the galaxy population at z>8 before the advent of the JWST.Comment: 10 pages, 7 figures, changed to match accepted version to appear in Ap

A Similarity Measure for GPU Kernel Subgraph Matching

Accelerator architectures specialize in executing SIMD (single instruction, multiple data) in lockstep. Because the majority of CUDA applications are parallelized loops, control flow information can provide an in-depth characterization of a kernel. CUDAflow is a tool that statically separates CUDA binaries into basic block regions and dynamically measures instruction and basic block frequencies. CUDAflow captures this information in a control flow graph (CFG) and performs subgraph matching across various kernel's CFGs to gain insights to an application's resource requirements, based on the shape and traversal of the graph, instruction operations executed and registers allocated, among other information. The utility of CUDAflow is demonstrated with SHOC and Rodinia application case studies on a variety of GPU architectures, revealing novel thread divergence characteristics that facilitates end users, autotuners and compilers in generating high performing code

Identifying Very Metal-Rich Stars with Low-Resolution Spectra: Finding Planet-Search Targets

We present empirical calibrations that estimate stellar metallicity, effective temperature and surface gravity as a function of Lick/IDS indices. These calibrations have been derived from a training set of 261 stars for which (1) high-precision measurements of [Fe/H], T_eff and log g have been made using spectral-synthesis analysis of HIRES spectra, and (2) Lick indices have also been measured. Our [Fe/H] calibration, which has precision 0.07 dex, has identified a number of bright (V < 9) metal-rich stars which are now being screened for hot Jupiter-type planets. Using the Yonsei-Yale stellar models, we show that the calibrations provide distance estimates accurate to 20% for nearby stars. This paper outlines the second tier of the screening of planet-search targets by the N2K Consortium, a project designed to identify the stars most likely to harbor extrasolar planets. Discoveries by the N2K Consortium include the transiting hot Saturn HD 149026 b (Sato et al. 2005, astro-ph/0507009) and HD 88133 b (Fischer et al. 2005). See Ammons et al. (2005, In Press) for a description of the first tier of N2K metallicity screening, calibrations using broadband photometry.Comment: Accepted for publication in the Astrophysical Journa

Using Verification Technology to Specify and Detect Malware

Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checking based approach to malware detection can capture the semantics of security exploits more accurately than traditional approaches, and consequently achieve higher detection rates. In this approach, malicious behavior is formalized using the expressive specification language CTPL based on classic CTL. This paper gives an overview of our toolchain for malware detection and presents our new system for computer assisted generation of malicious code specifications

Adaptive Optics Imaging of QSOs with Double-Peaked Narrow Lines: Are they Dual AGNs?

Active galaxies hosting two accreting and merging super-massive black holes (SMBHs) -- dual Active Galactic Nuclei (AGN) -- are predicted by many current and popular models of black hole-galaxy co-evolution. We present here the results of a program that has identified a set of probable dual AGN candidates based on near Infra-red (NIR) Laser Guide-Star Adaptive Optics (LGS AO) imaging with the Keck II telescope. These candidates are selected from a complete sample of radio-quiet Quasi-stellar Objects (QSOs) drawn from the Sloan Digital Sky Survey (SDSS), which show double-peaked narrow AGN emission lines. Of the twelve AGNs imaged, we find six with double galaxy structure, of which four are in galaxy mergers. We measure the ionization of the two velocity components in the narrow AGN lines to test the hypothesis that both velocity components come from an active nucleus. The combination of a well-defined parent sample and high-quality imaging allows us to place constraints on the fraction of SDSS QSOs that host dual accreting black holes separated on kiloparsec (kpc) scales: ~0.3%-0.65%. We derive from this fraction the time spent in a QSO phase during a typical merger and find a value that is much lower than estimates that arise from QSO space densities and galaxy merger statistics. We discuss possible reasons for this difference. Finally, we compare the SMBH mass distributions of single and dual AGN and find little difference between the two within the limited statistics of our program, hinting that most SMBH growth happens in the later stages of a merger process.Comment: 9 pages, 4 figures, 1 table; accepted to the Astrophysical Journa

Investigation of gene and protein expression based on Honey Bee (Apis mellifera) aging, flight experience, and behavior

Honeybees undergo a process of adult behavioral development, spending their first 2-3 weeks working inside the constant environment of the hive. At about 3 weeks of age workers leave the hive as foragers who gather pollen and nectar. Previous research found that bees show an enormous decline in immunity as a result of their transition from regular hive jobs to more difficult foraging activities. Foragers can be forced to go back into hive-tasks, thus becoming “reverted nurses” which may also allow a reversal of immunosenescence. Understanding how this happens could prove to be useful because if there is flexibility in honeybee immunity it could lead us to a better understanding of the human immune response since the honeybee has a very similar genome to that of humans. I plan to use protein and gene expression analysis, along with other measurements to understand how forager bees change back into nurses and how this effects their immune response and their process of senescence and aging

The N2K Consortium. II. A Transiting Hot Saturn Around HD 149026 With a Large Dense Core

Doppler measurements from Subaru and Keck have revealed radial velocity variations in the V=8.15, G0IV star HD 149026 consistent with a Saturn-Mass planet in a 2.8766 day orbit. Photometric observations at Fairborn Observatory have detected three complete transit events with depths of 0.003 mag at the predicted times of conjunction. HD 149026 is now the second brightest star with a transiting extrasolar planet. The mass of the star, based on interpolation of stellar evolutionary models, is 1.3 +/- 0.1 solar masses; together with the Doppler amplitude, K=43.3 m s^-1, we derive a planet mass Msin(i)=0.36 Mjup, and orbital radius of 0.042 AU. HD 149026 is chromospherically inactive and metal-rich with spectroscopically derived [Fe/H]=+0.36, Teff=6147 K, log g=4.26 and vsin(i)=6.0 km s^-1. Based on Teff and the stellar luminosity of 2.72 Lsun, we derive a stellar radius of 1.45 Rsun. Modeling of the three photometric transits provides an orbital inclination of 85.3 +/- 1.0 degrees and (including the uncertainty in the stellar radius) a planet radius of 0.725 +/- 0.05 Rjup. Models for this planet mass and radius suggest the presence of a ~67 Mearth core composed of elements heavier than hydrogen and helium. This substantial planet core would be difficult to construct by gravitational instability.Comment: 25 pages, 5 figures, accepted by the Astrophysical Journa